A dependability profile within MARTE

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adding Dependability Analysis Capabilities to the MARTE Profile

Dependability is a non-functional property that should be assessed early in the software lifecycle. Although several UML profiles exist for quantitative annotations of non-functional properties, none of them provides concrete capabilities for dependability analysis of UML system models. In this paper, we propose a dependability analysis and modeling profile. The objective is twofold: to reuse p...

متن کامل

The UML – MARTE Standardized Profile

The UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (also called the UML profile for MARTE, or simply, MARTE) adds capabilities to UML for model-driven development of real-time and embedded systems (RTES). It provides support for specification, design, and verification/validation stages. This new profile replaces the existing UML Profile for Schedulability, Performance a...

متن کامل

Mapping the MARTE UML profile to AADL

CAT, the Consumption Analysis Toolbox, used with an AADL editor like OSATE allows for system-level power and energy consumption estimation. For MARTE users, such a tool is very valuable. This is why building a bridge from MARTE to AADL was essential. Transforming models is the solution that was adopted. This is why a MARTE to AADL mapping was needed. In this paper, we will present our mapping t...

متن کامل

Applying MARTE Profile for Optimal Automotive System Specifications and Design

The UML profile for Modeling and Analysis of RealTime and Embedded Systems (MARTE) describes semantics and syntax for designing embedded and real-time systems, providing capabilities for representing the intrinsic characteristics of these systems, such as resource allocation, time criteria, non-functional characteristics, among others. MARTE provides different constructors and appropriate annot...

متن کامل

SoC/SoPC development using MDD and MARTE profile

This paper presents a new methodology to develop SoC/SoPC applications. This methodology is based on UML and MDD and capitalizes the achievements of "Electronic System Level" community by taking into account the new MARTE profile dedicated to real-time embedded systems. In the MOPCOM SoC/SoPC research project, a tooling has been developed to support this SoC/SoPC methodology, the MARTE profile,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Software & Systems Modeling

سال: 2009

ISSN: 1619-1366,1619-1374

DOI: 10.1007/s10270-009-0128-1